! 연산자 완전 정리: null 아님을 보장하는 방법

TypeScript를 쓰다 보면 null과 undefined는 늘 신경 써야 하는 부분입니다.
하지만 어떤 값이 절대 null이 아님을 개발자가 더 잘 알고 있는 경우도 있습니다.

이럴 때 사용하는 것이 바로 non-null assertion operator, 즉 ! 연산자입니다.

const name: string | null = getName();
console.log(name!.length); // 컴파일러에게 "이건 null 아냐!"라고 단언

1️⃣ 왜 이 연산자가 필요할까?

const el = document.getElementById("input") as HTMLInputElement;
el.value = "hello" // ❌ 오류: el이 null일 수도 있음

TypeScript는 getElementById가 null을 반환할 수도 있다고 경고합니다.
하지만 개발자는 해당 요소가 반드시 존재한다는 걸 알고 있을 수 있습니다.
이럴 때 ! 연산자를 쓰며, 타입스크립트가 경고하지 않도록 만들 수 있습니다.

2️⃣ ! 연산자란?

✅ 정의

! 연산자는 변수 뒤에서 붙여서 "이건 절대 null 또는 undefined가 아니야!" 라고 컴파일러에게 알려주는 역할을 합니다.

function getLength(str: string | null): number {
	return str!.length; // null 아님을 보장
}

• 컴파일러는 null이 아님을 믿으며, 런타임에 null이면 에러 발생

즉 ! 연산자는 타입 체크를 우회하는 강단 단언입니다. 믿고 쓰되 책임은 개발자에게 있습니다.

3️⃣ 실무 예제 모음

🧐 예제 1: DOM 요소 접근

	const el = document.getElementById("username") as HTMLInputElement;
	el!.focus(); // mount 이후라 null 아님을 확신

🧐 예제 2: React ref 사용

	const inputRef = useRef<HTMLInputElement>(null);

	useEffect(() => {
		inputRef.current!.focus(); // // ✅ mount 이후라 null 아님
	}, []);

🧐 예제 3: 콜백 안에서 값 보장

let config: Conofig | undefined;

initialize((result) => {
	config = result;
});

useConfig(config!); // 콜백 호출 이후엔 undefined 아님

4️⃣ 언제 조심해야 할까?

5️⃣ 안전한 대안들

! 연산자는 매우 편리하지만, 다음과 같은 안전한 방법이 있다면 먼저 고려하는 것이 좋습니다.

🔹 Null 체크

if (el !== null) {
  el.focus();
}

🔹 Optional chanining(?.)

el?.focus();

🔹 Nullish coalescing (??)

const nameLength = name?.length ?? 0;